Nuprl Definition : dseq
0,22
postcript
pdf
dseq(
d
;
a
) == eqof(2of(
d
)(
a
))
latex
Definitions
2of(
t
)
,
eqof(
d
)
FDL editor aliases
dseq
origin